首页> 外文OA文献 >Natural deduction calculi and sequent calculi for counterfactual logics

【2h】

Natural deduction calculi and sequent calculi for counterfactual logics

机译：反事实逻辑的自然演绎演算和后续演算

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Poggiolesi, Francesca;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics [J] . Poggiolesi Francesca Studia Logica . 2016,第5期

机译：反事实逻辑的自然演绎计算和后续计算
2. Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics [J] . Robert Saxon Milnikel Annals of Mathematics and Artificial Intelligence . 2005,第1a2期

机译：谓词默认逻辑和其他非单调逻辑中的怀疑推理的后续计算
3. From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics [J] . Martini Simone, Masini Andrea, Zorzi Margherita ACM transactions on computational logic . 2021,第3期

机译：从2个顺序和线性嵌套的顺序到普通模态逻辑的自然扣除
4. Standard Sequent Calculi for Lewis' Logics of Counterfactuals [C] . Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, European conference on logics in artificial intelligence . 2016

机译：刘易斯反事实逻辑的标准后续计算
5. A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-classical Logic [D] . Mukhopadhyay, Trisha. 2019

机译：灵活，自然演绎的自动推理机，可快速部署非经典逻辑
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Natural deduction calculi and sequent calculi for counterfactual logics [O] . Poggiolesi, Francesca 2016

机译：反事实逻辑的自然演绎演算和后续演算
8. Sequent Calculi for Normal Modal Propositional Logics [R] . Wansing, H. 1992

机译：正态模态命题逻辑的后续计算

Natural deduction calculi and sequent calculi for counterfactual logics

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅